Mike Raymond CTS Sample Probe Development Topic: Earth-Sun-Moon System/Understanding Scientific Inquiry Targeted Ideas:  Benchmarks o 9E/2 – Reasoning distorted by strong feelings

Source URL: www.stem-it.org

Pfeifer, N. & Kleiter G. DTowards a probability logic based on statistical reasoning. In Proceedings of the 11th IPMU Conference (Information Processing and Management of Uncertainty in Knowledge–Based System

Source URL: www.pfeifer-research.de

Scientific Reasoning Rubric RevisedA person who is competent in scientific reasoning adheres to a self-correcting system of inquiry (the scientific method) and relies on empirical evidence to describe, understan

Source URL: www.virginiawestern.edu

C o n n e c t i n g G re a t M i n d s

Source URL: www.cin.ufpe.br

• Reasoning
• Deductive reasoning
• Programming paradigms
• Artificial intelligence
• Automated theorem proving
• Reasoning system
• Mathematical logic
• Knowledge representation and reasoning
• Computer science
• Logic programming
• Inference
• Natural deduction

PDF Document

Source URL: ceur-ws.org

• Automated theorem proving
• Usability
• KeY
• Automated reasoning
• Proof assistant
• Reasoning system
• Formal verification
• E theorem prover
• Isabelle
• Software testing
• Geoff Sutcliffe
• Software verification

Formalising Uncertainty: An Ontology of Reasoning, Certainty and Attribution (ORCA) Anita de Waard1 and Jodi Schneider2 1 2

Source URL: ceur-ws.org

• Knowledge
• Ontology
• Semantic publishing
• Knowledge representation and reasoning
• Semantic search
• Biomedical text mining
• Simple Knowledge Organization System
• Upper ontology
• Semantic similarity
• Semantic Web
• Science
• Information

The Automotive Ontology: Managing Knowledge Inside the Vehicle and Sharing it Between Cars Michael Feld Christian Müller

Source URL: www.simtd.de.

• Information science
• Technical communication
• Knowledge
• Semantic Web
• Knowledge representation
• Knowledge representation and reasoning
• Automotive navigation system
• Upper ontology
• Ontology editor
• Ontology
• Information
• Science

A field based representation for vague areas defined by spatial prepositions Mark M. Hall, Christopher B. Jones School of Computer Science Cardiff University Cardiff CF24 3AA, Wales, United Kingdom [M.M.Hall, C.B.Jones]@

Source URL: users.cs.cf.ac.uk

• Fuzzy logic
• Spatial data analysis
• Geography
• Artificial intelligence
• Logic in computer science
• Spatial analysis
• Geographic information system
• Spatial–temporal reasoning
• Active contour model
• Statistics
• Logic
• Mathematical logic

Anthropomorphic Self-Models for Metareasoning Agents Andrew S. Gordon1, Jerry R. Hobbs2, and Michael T. Cox3 1 Institute for Creative Technologies, University of Southern California, 2

Source URL: people.ict.usc.edu

• Reasoning
• Artificial intelligence
• Cognitive science
• Problem solving
• Cognitive architecture
• Reasoning system
• Working memory
• Software agent
• Commonsense reasoning
• Mind
• Science
• Ethology

Turning Cognitive Computing into Business Value. Today. 2

Source URL: www.accenture.com

• Education
• Reasoning
• Decision theory
• Expert system
• Intelligent agent
• Knowledge representation and reasoning
• Socio-cognitive
• Reasoning system
• Artificial intelligence
• Science
• Knowledge